Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐ŸงฎTheorem Proving
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท3h
๐Ÿ“Mathematical Art
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
#14 Logarithm ....History and Etymology of Math Terms
pballew.blogspot.comยท13hยท
๐Ÿ“ŠAPL Heritage
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
Pecia system
rhollick.wordpress.comยท1d
๐Ÿ’งManuscript Watermarks
No Bullshit Guide to Statistics prerelease
minireference.comยท1h
๐ŸงฎKolmogorov Bounds
Computable Babylonian Diaries Project
christopherwolfram.comยท4hยท
Discuss: Hacker News
๐Ÿ“œDigital Philology
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Generative Art
4rknova.comยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท3d
๐ŸŽฏProof Tactics
A practical case on why we need the humanities
acoup.blogยท21hยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp